#ifndef _HAL_H_
#define _HAL_H_

#include "hz_types.h"


#endif
